机译：被动膝关节松弛是否与主动步态力学有关？使用概率方法的探索性计算生物力学研究
机译：基于离散Radon变换，主成分分析和概率神经网络混合方法的基于图像的手写签名验证
机译：确定性方法与概率方法比较验证UCFR-100损耗计算
机译：使用概率方法步态验证
机译：概率约束网：用于概率混合系统建模和验证的正式框架。
机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
机译：使用概率方法进行步态验证
机译：概率要求（部分）验证方法最佳实践改进。变量验收抽样计算器：计划的衍生和验证，第1卷
